<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2004, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="Files viewed as persistent sequences of ASCII characters">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>plain_text_file Chart</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="plain_text_file_links.html">Relations</A></TD><TD><A HREF="plain_text_file_flatshort.html">Flat contracts</A></TD></TR></TABLE><B>class</B>
    <A HREF="../base/plain_text_file_chart.html">PLAIN_TEXT_FILE</A>

<B>General</B>
    cluster: elks
    description: "Files viewed as persistent sequences of ASCII characters"
    create: <A HREF="../base/file_flatshort.html#f_make_open_read_append">make_open_read_append</A>, <A HREF="../base/file_flatshort.html#f_make_open_read_write">make_open_read_write</A>, <A HREF="../base/file_flatshort.html#f_make">make</A>, <A HREF="../base/file_flatshort.html#f_make_open_append">make_open_append</A>, <A HREF="../base/file_flatshort.html#f_make_open_read">make_open_read</A>, <A HREF="../base/file_flatshort.html#f_make_open_write">make_open_write</A>, <A HREF="../base/file_flatshort.html#f_make_create_read_write">make_create_read_write</A>

<B>Ancestors</B>
    <A HREF="../base/file_chart.html">FILE</A>*

<B>Queries</B>
    <A HREF="../base/file_flatshort.html#f_access_date">access_date</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_access_exists">access_exists</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_after">after</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_before">before</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_bytes_read">bytes_read</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/file_flatshort.html#f_change_date">change_date</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/container_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from CONTAINER)</FONT>
    <A HREF="../base/file_flatshort.html#f_count">count</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_date">date</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_descriptor">descriptor</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_descriptor_available">descriptor_available</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_end_of_file">end_of_file</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/linear_flatshort.html#f_exhausted">exhausted</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_exists">exists</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_extendible">extendible</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_file_info">file_info</A>: <A HREF="../base/unix_file_info_chart.html">UNIX_FILE_INFO</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_file_pointer">file_pointer</A>: <A HREF="../base/pointer_chart.html">POINTER</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_file_readable">file_readable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_file_writable">file_writable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/linear_flatshort.html#f_for_all">for_all</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/character_8_chart.html">CHARACTER_8</A>], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_full">Full</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_group_id">group_id</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/linear_flatshort.html#f_has">has</A> (v: [<B>like</B> <A HREF="../base/file_flatshort.html#f_item">item</A>] <A HREF="../base/character_8_chart.html">CHARACTER_8</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/linear_flatshort.html#f_index_of">index_of</A> (v: [<B>like</B> <A HREF="../base/file_flatshort.html#f_item">item</A>] <A HREF="../base/character_8_chart.html">CHARACTER_8</A>; i: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>): <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_inode">inode</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_access_executable">is_access_executable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_access_owner">is_access_owner</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_access_readable">is_access_readable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_access_writable">is_access_writable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_block">is_block</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_character">is_character</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_closed">is_closed</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_creatable">is_creatable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_device">is_device</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_directory">is_directory</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FINITE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_executable">is_executable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_fifo">is_fifo</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/collection_flatshort.html#f_is_inserted">is_inserted</A> (v: <A HREF="../base/character_8_chart.html">CHARACTER_8</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from COLLECTION)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_open_append">is_open_append</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_open_read">is_open_read</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_open_write">is_open_write</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_owner">is_owner</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_plain">is_plain</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_is_plain_text">is_plain_text</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/file_flatshort.html#f_is_readable">is_readable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_setgid">is_setgid</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_setuid">is_setuid</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_socket">is_socket</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_sticky">is_sticky</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_symlink">is_symlink</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_is_writable">is_writable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_item">item</A>: <A HREF="../base/character_8_chart.html">CHARACTER_8</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/linear_flatshort.html#f_item_for_iteration">item_for_iteration</A>: <A HREF="../base/character_8_chart.html">CHARACTER_8</A><FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_character">last_character</A>: <A HREF="../base/character_8_chart.html">CHARACTER_8</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_double">last_double</A>: <A HREF="../base/real_64_chart.html">REAL_64</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_integer">last_integer</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_integer_16">last_integer_16</A>: <A HREF="../base/integer_16_chart.html">INTEGER_16</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_integer_32">last_integer_32</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_integer_64">last_integer_64</A>: <A HREF="../base/integer_64_chart.html">INTEGER_64</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_integer_8">last_integer_8</A>: <A HREF="../base/integer_8_chart.html">INTEGER_8</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_natural">last_natural</A>: <A HREF="../base/natural_32_chart.html">NATURAL_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_natural_16">last_natural_16</A>: <A HREF="../base/natural_16_chart.html">NATURAL_16</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_natural_32">last_natural_32</A>: <A HREF="../base/natural_32_chart.html">NATURAL_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_natural_64">last_natural_64</A>: <A HREF="../base/natural_64_chart.html">NATURAL_64</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_natural_8">last_natural_8</A>: <A HREF="../base/natural_8_chart.html">NATURAL_8</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_real">last_real</A>: <A HREF="../base/real_32_chart.html">REAL_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_last_string">last_string</A>: ?<A HREF="../base/string_8_chart.html">STRING_8</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_lastchar">lastchar</A>: <A HREF="../base/character_8_chart.html">CHARACTER_8</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_lastdouble">lastdouble</A>: <A HREF="../base/real_64_chart.html">REAL_64</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_lastint">lastint</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_lastreal">lastreal</A>: <A HREF="../base/real_32_chart.html">REAL_32</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_laststring">laststring</A>: ?<A HREF="../base/string_8_chart.html">STRING_8</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/linear_flatshort.html#f_linear_representation">linear_representation</A>: <A HREF="../base/linear_chart.html">LINEAR</A> [<A HREF="../base/character_8_chart.html">CHARACTER_8</A>]<FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_links">links</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_name">name</A>: <A HREF="../base/string_8_chart.html">STRING_8</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from CONTAINER)</FONT>
    <A HREF="../base/linear_flatshort.html#f_occurrences">occurrences</A> (v: [<B>like</B> <A HREF="../base/file_flatshort.html#f_item">item</A>] <A HREF="../base/character_8_chart.html">CHARACTER_8</A>): <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_off">off</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_owner_name">owner_name</A>: <A HREF="../base/string_8_chart.html">STRING_8</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_path_exists">path_exists</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_position">position</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_protection">protection</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_prunable">prunable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/sequence_flatshort.html#f_readable">readable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from SEQUENCE)</FONT>
    <A HREF="../base/file_flatshort.html#f_retrieved">retrieved</A>: <A HREF="../base/any_chart.html">ANY</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_same_file">same_file</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_separator">separator</A>: <A HREF="../base/character_8_chart.html">CHARACTER_8</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_support_storable">Support_storable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/linear_flatshort.html#f_there_exists">there_exists</A> (test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/character_8_chart.html">CHARACTER_8</A>], <A HREF="../base/boolean_chart.html">BOOLEAN</A>]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_user_id">user_id</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/sequence_flatshort.html#f_writable">writable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from SEQUENCE)</FONT>

<B>Commands</B>
    <A HREF="../base/file_flatshort.html#f_add_permission">add_permission</A> (who, what: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_append">append</A> (f: [<B>like</B> <B>Current</B>] <A HREF="../base/plain_text_file_chart.html">PLAIN_TEXT_FILE</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_back">back</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_basic_store">basic_store</A> (object: <A HREF="../base/any_chart.html">ANY</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_change_group">change_group</A> (new_group_id: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_change_mode">change_mode</A> (mask: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_change_name">change_name</A> (new_name: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_change_owner">change_owner</A> (new_owner_id: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_close">close</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/container_flatshort.html#f_compare_objects">compare_objects</A><FONT COLOR="red"> -- (from CONTAINER)</FONT>
    <A HREF="../base/container_flatshort.html#f_compare_references">compare_references</A><FONT COLOR="red"> -- (from CONTAINER)</FONT>
    <A HREF="../base/file_flatshort.html#f_copy_to">copy_to</A> (file: [<B>like</B> <B>Current</B>] <A HREF="../base/plain_text_file_chart.html">PLAIN_TEXT_FILE</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_create_read_write">create_read_write</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_delete">delete</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/io_medium_flatshort.html#f_dispose">dispose</A><FONT COLOR="red"> -- (from IO_MEDIUM)</FONT>
    <A HREF="../base/linear_flatshort.html#f_do_all">do_all</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/character_8_chart.html">CHARACTER_8</A>]])<FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/linear_flatshort.html#f_do_if">do_if</A> (action: <A HREF="../base/procedure_chart.html">PROCEDURE</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/character_8_chart.html">CHARACTER_8</A>]]; test: <A HREF="../base/function_chart.html">FUNCTION</A> [<A HREF="../base/any_chart.html">ANY</A>, <A HREF="../base/tuple_chart.html">TUPLE</A> [<A HREF="../base/character_8_chart.html">CHARACTER_8</A>], <A HREF="../base/boolean_chart.html">BOOLEAN</A>])<FONT COLOR="red"> -- (from LINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_extend">extend</A> (v: <A HREF="../base/character_8_chart.html">CHARACTER_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_fd_open_append">fd_open_append</A> (fd: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_fd_open_read">fd_open_read</A> (fd: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_fd_open_read_append">fd_open_read_append</A> (fd: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_fd_open_read_write">fd_open_read_write</A> (fd: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_fd_open_write">fd_open_write</A> (fd: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/collection_flatshort.html#f_fill">fill</A> (other: <A HREF="../base/container_chart.html">CONTAINER</A> [<A HREF="../base/character_8_chart.html">CHARACTER_8</A>])<FONT COLOR="red"> -- (from COLLECTION)</FONT>
    <A HREF="../base/file_flatshort.html#f_finish">finish</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_flush">flush</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/sequence_flatshort.html#f_force">force</A> (v: [<B>like</B> <A HREF="../base/file_flatshort.html#f_item">item</A>] <A HREF="../base/character_8_chart.html">CHARACTER_8</A>)<FONT COLOR="red"> -- (from SEQUENCE)</FONT>
    <A HREF="../base/file_flatshort.html#f_forth">forth</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_general_store">general_store</A> (object: <A HREF="../base/any_chart.html">ANY</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_go">go</A> (abs_position: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_independent_store">independent_store</A> (object: <A HREF="../base/any_chart.html">ANY</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_link">link</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_make">make</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_make_create_read_write">make_create_read_write</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_make_open_append">make_open_append</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_make_open_read">make_open_read</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_make_open_read_append">make_open_read_append</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_make_open_read_write">make_open_read_write</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_make_open_write">make_open_write</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_move">move</A> (offset: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_new_line">new_line</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_next_line">next_line</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_open_append">open_append</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_open_read">open_read</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_open_read_append">open_read_append</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_open_read_write">open_read_write</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_open_write">open_write</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/sequence_flatshort.html#f_prune_all">prune_all</A> (v: [<B>like</B> <A HREF="../base/file_flatshort.html#f_item">item</A>] <A HREF="../base/character_8_chart.html">CHARACTER_8</A>)<FONT COLOR="red"> -- (from SEQUENCE)</FONT>
    <A HREF="../base/sequence_flatshort.html#f_put">put</A> (v: [<B>like</B> <A HREF="../base/file_flatshort.html#f_item">item</A>] <A HREF="../base/character_8_chart.html">CHARACTER_8</A>)<FONT COLOR="red"> -- (from SEQUENCE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_put_boolean">put_boolean</A> (b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)
    <A HREF="../base/file_flatshort.html#f_put_character">put_character</A> (c: <A HREF="../base/character_8_chart.html">CHARACTER_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_put_double">put_double</A> (d: <A HREF="../base/real_64_chart.html">REAL_64</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_integer">put_integer</A> (i: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_integer_16">put_integer_16</A> (i: <A HREF="../base/integer_16_chart.html">INTEGER_16</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_integer_32">put_integer_32</A> (i: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_integer_64">put_integer_64</A> (i: <A HREF="../base/integer_64_chart.html">INTEGER_64</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_integer_8">put_integer_8</A> (i: <A HREF="../base/integer_8_chart.html">INTEGER_8</A>)
    <A HREF="../base/file_flatshort.html#f_put_managed_pointer">put_managed_pointer</A> (p: <A HREF="../base/managed_pointer_chart.html">MANAGED_POINTER</A>; start_pos, nb_bytes: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_put_natural">put_natural</A> (i: <A HREF="../base/natural_32_chart.html">NATURAL_32</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_natural_16">put_natural_16</A> (i: <A HREF="../base/natural_16_chart.html">NATURAL_16</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_natural_32">put_natural_32</A> (i: <A HREF="../base/natural_32_chart.html">NATURAL_32</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_natural_64">put_natural_64</A> (i: <A HREF="../base/natural_64_chart.html">NATURAL_64</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_put_natural_8">put_natural_8</A> (i: <A HREF="../base/natural_8_chart.html">NATURAL_8</A>)
    <A HREF="../base/file_flatshort.html#f_put_new_line">put_new_line</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_put_real">put_real</A> (r: <A HREF="../base/real_32_chart.html">REAL_32</A>)
    <A HREF="../base/file_flatshort.html#f_put_string">put_string</A> (s: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_putbool">putbool</A> (b: <A HREF="../base/boolean_chart.html">BOOLEAN</A>)
    <A HREF="../base/file_flatshort.html#f_putchar">putchar</A> (c: <A HREF="../base/character_8_chart.html">CHARACTER_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_putdouble">putdouble</A> (d: <A HREF="../base/real_64_chart.html">REAL_64</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_putint">putint</A> (i: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)
    <A HREF="../base/plain_text_file_flatshort.html#f_putreal">putreal</A> (r: <A HREF="../base/real_32_chart.html">REAL_32</A>)
    <A HREF="../base/file_flatshort.html#f_putstring">putstring</A> (s: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_read_character">read_character</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_double">read_double</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_integer">read_integer</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_integer_16">read_integer_16</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_integer_32">read_integer_32</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_integer_64">read_integer_64</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_integer_8">read_integer_8</A>
    <A HREF="../base/file_flatshort.html#f_read_line">read_line</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_read_line_thread_aware">read_line_thread_aware</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_natural">read_natural</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_natural_16">read_natural_16</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_natural_32">read_natural_32</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_natural_64">read_natural_64</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_natural_8">read_natural_8</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_read_real">read_real</A>
    <A HREF="../base/file_flatshort.html#f_read_stream">read_stream</A> (nb_char: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_read_stream_thread_aware">read_stream_thread_aware</A> (nb_char: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_read_to_managed_pointer">read_to_managed_pointer</A> (p: <A HREF="../base/managed_pointer_chart.html">MANAGED_POINTER</A>; start_pos, nb_bytes: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_read_word">read_word</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_read_word_thread_aware">read_word_thread_aware</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_readchar">readchar</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_readdouble">readdouble</A>
    <A HREF="../base/plain_text_file_flatshort.html#f_readint">readint</A>
    <A HREF="../base/file_flatshort.html#f_readline">readline</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/plain_text_file_flatshort.html#f_readreal">readreal</A>
    <A HREF="../base/file_flatshort.html#f_readstream">readstream</A> (nb_char: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_readword">readword</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_recede">recede</A> (abs_position: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_recreate_read_write">recreate_read_write</A> (fname: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_remove_permission">remove_permission</A> (who, what: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_reopen_append">reopen_append</A> (fname: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_reopen_read">reopen_read</A> (fname: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_reopen_read_append">reopen_read_append</A> (fname: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_reopen_read_write">reopen_read_write</A> (fname: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_reopen_write">reopen_write</A> (fname: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_reset">reset</A> (fn: <A HREF="../base/string_8_chart.html">STRING_8</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/bilinear_flatshort.html#f_search">search</A> (v: [<B>like</B> <A HREF="../base/file_flatshort.html#f_item">item</A>] <A HREF="../base/character_8_chart.html">CHARACTER_8</A>)<FONT COLOR="red"> -- (from BILINEAR)</FONT>
    <A HREF="../base/file_flatshort.html#f_set_access">set_access</A> (time: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_set_date">set_date</A> (time: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_stamp">stamp</A> (time: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>)<FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_start">start</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_touch">touch</A><FONT COLOR="red"> -- (from FILE)</FONT>
    <A HREF="../base/file_flatshort.html#f_wipe_out">wipe_out</A><FONT COLOR="red"> -- (from FILE)</FONT>

<B>Constraints</B>
    plain text

<TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="plain_text_file_links.html">Relations</A></TD><TD><A HREF="plain_text_file_flatshort.html">Flat contracts</A></TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>
